нормального топологического пространства X - топологический инвариант locdim X, определяемый следующим образом. Считается 0, 1, . . ., если для любой точки хОХнайдется окрестность Ох, для Лебега размерности замыкания к-рой выполняется соотношение Если locdim для нек-рого п, то Л. р. пространства Xконечна, пишется и полагается
Всегда существуют нормальные пространства Xс locdim X
Смотреть больше слов в «Математической энциклопедии»